SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq-ide rpm build for : Mandriva  2007. For other distributions click coq-ide.

Name : coq-ide
Version : 8.0pl3 Vendor : Mandriva
Release : 5mdv2007.0 Date : 2006-08-29 17:20:01
Group : Sciences/Computer science Source RPM : coq-8.0pl3-5mdv2007.0.src.rpm
Size : 11.65 MB
Packager : Guillaume Rousse < guillomovitch_mandriva_org>
Summary : The Coq Integrated Development Interface
Description :
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

RPM found in directory: /vol/rzm6/linux-mandriva/official/2007.0/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-ide-8.0pl3-5mdv2007.0.i586.rpm
ftp.icm.edu.pl  coq-ide-8.0pl3-5mdv2007.0.i586.rpm
     Search for other platforms
coq-ide-8.0pl3-5mdv2007.0.sparc.rpm
coq-ide-8.0pl3-5mdv2007.0.alpha.rpm
coq-ide-8.0pl3-5mdv2007.0.ppc.rpm
coq-ide-8.0pl3-5mdv2007.0.ia64.rpm
coq-ide-8.0pl3-5mdv2007.0.s390.rpm

Provides :
coq-ide

Requires :
libpthread.so.0(GLIBC_2.2)
libgobject-2.0.so.0
libncurses.so.5
libpthread.so.0
libc.so.6(GLIBC_2.2)
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.2)
libdl.so.2(GLIBC_2.1)
libdl.so.2(GLIBC_2.0)
libdl.so.2
libpthread.so.0(GLIBC_2.0)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libgtk-x11-2.0.so.0
libm.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.3)
libpangocairo-1.0.so.0
libgmodule-2.0.so.0
libgdk_pixbuf-2.0.so.0
libpthread.so.0(GLIBC_2.3.2)
libm.so.6
rpmlib(CompressedFileNames) <= 3.0.4-1
libcairo.so.2
libatk-1.0.so.0
libc.so.6(GLIBC_2.1)
libpango-1.0.so.0
libgdk-x11-2.0.so.0
libglib-2.0.so.0
libpthread.so.0(GLIBC_2.1)
libc.so.6
coq = 8.0pl3


Content of RPM :
/usr/bin/coqide
/usr/bin/coqide.byte
/usr/bin/coqide.opt
/usr/lib/coq/ide
/usr/lib/coq/ide/.coqide-gtk2rc
/usr/lib/coq/ide/FAQ
/usr/lib/coq/ide/coq.ico
/usr/lib/coq/ide/coq2.ico
/usr/lib/coq/ide/utf8.v
/usr/lib/coq/ide/utf8.vo
/usr/share/doc/coq-ide-8.0pl3
/usr/share/doc/coq-ide-8.0pl3/INSTALL.ide

  
ICM